Skip to content

Added Github link to the Navigation bar#1130

Closed
RandomMonkey99 wants to merge 2 commits into
root-project:mainfrom
RandomMonkey99:main
Closed

Added Github link to the Navigation bar#1130
RandomMonkey99 wants to merge 2 commits into
root-project:mainfrom
RandomMonkey99:main

Conversation

@RandomMonkey99

Copy link
Copy Markdown
Contributor

Added Github link to the Navigation bar

@dpiparo

dpiparo commented Sep 7, 2025

Copy link
Copy Markdown
Member

Dear @RandomMonkey99, your change has been already integrated via another PR, while the authorship was preserved in the commit log. I hope this solution is fine for you. I am closing the PR.

@dpiparo dpiparo closed this Sep 7, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants